(After a Crash): Delete duplicate words.

diff --git a/man/trouble.texi b/man/trouble.texi
index e7534ed2560496538ea45b93eb006db41f4011a6..1cd3aa4db12304cbeb1a344afce117c97f0c0265 100644 (file)
--- a/man/trouble.texi
+++ b/man/trouble.texi
@@ -368,7 +368,7 @@ available.  For each buffer, it lists a buffer number.  To save a
 buffer, use @code{ysave-buffer}; you specify the buffer number, and
 the file name to write that buffer into.  You should use a file name
 which does not already exist; if the file does exist, the script does
-not make make a backup of its old contents.
+not make a backup of its old contents.
 
 @node Emergency Escape
 @subsection Emergency Escape